Termination w.r.t. Q proof of TRS/SK902.37.trs

Termination w.r.t. Q of the following Term Rewriting System could not be shown:

Q restricted rewrite system:
The TRS R consists of the following rules:

and(not(not(x)), y, not(z)) → and(y, band(x, z), x)

Q is empty.

↳ QTRS

Q restricted rewrite system:
The TRS R consists of the following rules:

and(not(not(x)), y, not(z)) → and(y, band(x, z), x)

Q is empty.